Search results for "theory [gamma rays]"

TWO-DIMENSIONAL FINITE STATE RECOGNIZABILITY

1996

The purpose of this paper is to investigate about a new notion of finite state recognizability for two-dimensional (picture) languages. This notion takes as starting point the characterization of one-dimensional recognizable languages in terms of local languages and projections. Such notion can be extended in a natural way to the two-dimensional case. We first introduce a notion of local picture language and then we define,a recognizable picture language as a projection of a local picture language. The family of recognizable picture languages is denoted by REC. We study some combinatorial and language-theoretic properties of family REC. In particular we prove some closure properties with re…

A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration

2019

Natural phenomena and mechanisms have always intrigued humans, inspiring the design of effective solutions for real-world problems. Indeed, fascinating processes occur in nature, giving rise to an ever-increasing scientific interest. In everyday life, the amount of heterogeneous biomedical data is increasing more and more thanks to the advances in image acquisition modalities and high-throughput technologies. The automated analysis of these large-scale datasets creates new compelling challenges for data-driven and model-based computational methods. The application of intelligent algorithms, which mimic natural phenomena, is emerging as an effective paradigm for tackling complex problems, by…

Stubborn sets, frozen actions, and fair testing

2021

Many partial order methods use some special condition for ensuring that the analysis is not terminated prematurely. In the case of stubborn set methods for safety properties, implementation of the condition is usually based on recognizing the terminal strong components of the reduced state space and, if necessary, expanding the stubborn sets used in their roots. In an earlier study it was pointed out that if the system may execute a cycle consisting of only invisible actions and that cycle is concurrent with the rest of the system in a non-obvious way, then the method may be fooled to construct all states of the full parallel composition. This problem is solved in this study by a method tha…

The Abel–Jacobi map for higher Chow groups

2006

We construct a map between Bloch's higher Chow groups and Deligne homology for smooth, complex quasiprojective varieties on the level of complexes. For complex projective varieties this results in a formula which generalizes at the same time the classical Griffiths Abel–Jacobi map and the Borel/Beilinson/Goncharov regulator type maps.

FORMAL CONCEPTION OF ROUGH SETS

1996

In the paper we present a formal description of rough sets within the framework of the generalized set theory, which is interpreted in the set approximation theory. The rough sets are interpreted as approximations, which are defined by means of the Pawlak's rough sets.

Pseudodifferential Analysis on Manifolds with Boundary — a Comparison of b-Calculus and Cone Algebra

2001

We establish a relation between two different approaches to a complete pseudodifferential analysis of totally characteristic or Fuchs type operators on compact manifolds with boundary respectively conical singularities: Melrose’s (overblown) b-calculus and Schulze’s cone algebra. Though quite different in their definition, we show that these two pseudodifferential calculi basically contain the same operators.

The module structure of Hochschild homology in some examples

2008

Abstract In this Note we give a simple proof of a conjecture by A. Caldararu stating the compatibility between the modified Hochschild–Kostant–Rosenberg isomorphism and the action of Hochschild cohomology on Hochschild homology in the case of Calabi–Yau manifolds and smooth projective curves. To cite this article: E. Macri` et al., C. R. Acad. Sci. Paris, Ser. I 346 (2008).

Kontsevich formality and cohomologies for graphs

2004

A formality on a manifold M is a quasi isomorphism between the space of polyvector fields (Tpoly(M)) and the space of multidifferential operators (Dpoly(M)). In the case M=R d , such a mapping was explicitly built by Kontsevich, using graphs drawn in configuration spaces. Looking for such a construction step by step, we have to consider several cohomologies (Hochschild, Chevalley, and Harrison and Chevalley) for mappings defined on Tpoly. Restricting ourselves to the case of mappings defined with graphs, we determine the corresponding coboundary operators directly on the spaces of graphs. The last cohomology vanishes.

Topological Approach to Analgesia

1994

Angiogenic activity of breast cancer patients' monocytes reverted by combined use of systems modeling and experimental approaches.

2015

Angiogenesis plays a key role in tumor growth and cancer progression. TIE-2-expressing monocytes (TEM) have been reported to critically account for tumor vascularization and growth in mouse tumor experimental models, but the molecular basis of their pro-angiogenic activity are largely unknown. Moreover, differences in the pro-angiogenic activity between blood circulating and tumor infiltrated TEM in human patients has not been established to date, hindering the identification of specific targets for therapeutic intervention. In this work, we investigated these differences and the phenotypic reversal of breast tumor pro-angiogenic TEM to a weak pro-angiogenic phenotype by combining Boolean m…